11![Abstract Program Slicing: Abstract interpretation-based approaches to Slicing Isabella Mastroeni (Ðurica Nikoli´c and Damiano Zanardini) Dipartimento di Informatica, University of Verona, Italy Abstract Program Slicing: Abstract interpretation-based approaches to Slicing Isabella Mastroeni (Ðurica Nikoli´c and Damiano Zanardini) Dipartimento di Informatica, University of Verona, Italy](https://www.pdfsearch.io/img/883b7037a86f80b50232653748598787.jpg) | Add to Reading ListSource URL: crest.cs.ucl.ac.ukLanguage: English - Date: 2012-05-11 03:17:15
|
---|
12![Database Queries that Explain their Work James Cheney Amal Ahmed Umut A. Acar Database Queries that Explain their Work James Cheney Amal Ahmed Umut A. Acar](https://www.pdfsearch.io/img/d6e42ee7093b20b5108262821e99fec7.jpg) | Add to Reading ListSource URL: www.ccs.neu.eduLanguage: English - Date: 2014-10-03 11:09:09
|
---|
13![Dynamic Dependence in Term Rewriting Systems and its Application to Program Slicing John Field and Frank Tip IBM T. J. Watson Research Center P.O. Box 704, Yorktown Heights, NY, 10598, USA Dynamic Dependence in Term Rewriting Systems and its Application to Program Slicing John Field and Frank Tip IBM T. J. Watson Research Center P.O. Box 704, Yorktown Heights, NY, 10598, USA](https://www.pdfsearch.io/img/a084be2505c427e6ff74ff04084cb9b2.jpg) | Add to Reading ListSource URL: www.franktip.orgLanguage: English - Date: 2016-01-22 11:53:09
|
---|
14![c Cambridge University Press 2011 Math. Struct. in Comp. Science (2011), vol. 21, pp. 1339–1362. doi:S0960129511000223 On the computational complexity of dynamic slicing problems for program schemas c Cambridge University Press 2011 Math. Struct. in Comp. Science (2011), vol. 21, pp. 1339–1362. doi:S0960129511000223 On the computational complexity of dynamic slicing problems for program schemas](https://www.pdfsearch.io/img/744ad147c68ac0edb7c576623c188773.jpg) | Add to Reading ListSource URL: sebastian.doc.gold.ac.ukLanguage: English - Date: 2014-04-14 11:04:56
|
---|
15![Detecting Refactorable Clones Using Program Dependence Graph (PDG) and Program Slicing Ammar Hamid University of Amsterdam Detecting Refactorable Clones Using Program Dependence Graph (PDG) and Program Slicing Ammar Hamid University of Amsterdam](https://www.pdfsearch.io/img/6b5904f2e39f56e85d794216ae4888be.jpg) | Add to Reading ListSource URL: grammarware.github.ioLanguage: English - Date: 2016-01-31 08:43:24
|
---|
16![Speeding up Slicing Thomas Reps,† Susan Horwitz,† Mooly Sagiv,†, ‡ and Genevieve Rosay University of Wisconsin−Madison ABSTRACT Program slicing is a fundamental operation for many software engineering tools. Cu Speeding up Slicing Thomas Reps,† Susan Horwitz,† Mooly Sagiv,†, ‡ and Genevieve Rosay University of Wisconsin−Madison ABSTRACT Program slicing is a fundamental operation for many software engineering tools. Cu](https://www.pdfsearch.io/img/84ae4f287b2558931de16f6753143368.jpg) | Add to Reading ListSource URL: research.cs.wisc.eduLanguage: English - Date: 2001-09-10 19:29:25
|
---|
17![Reducing GUI Test Suites via Program Slicing Stephan Arlt Andreas Podelski Martin Wehrle Reducing GUI Test Suites via Program Slicing Stephan Arlt Andreas Podelski Martin Wehrle](https://www.pdfsearch.io/img/b258430cc74889a9e2e2833f5125a02f.jpg) | Add to Reading ListSource URL: ai.cs.unibas.chLanguage: English - Date: 2014-07-02 05:16:10
|
---|
18![](https://www.pdfsearch.io/img/42581b3010ca5736cb5dd2f34d766a1e.jpg) | Add to Reading ListSource URL: www.roywant.comLanguage: English - Date: 2005-11-06 23:23:24
|
---|
19![The Auspicious Couple: Symbolic Execution and WCET Analysis * Armin Biere1 , Jens Knoop2 , Laura Kovács3 , and Jakob Zwirchmayr2 1 2 3 The Auspicious Couple: Symbolic Execution and WCET Analysis * Armin Biere1 , Jens Knoop2 , Laura Kovács3 , and Jakob Zwirchmayr2 1 2 3](https://www.pdfsearch.io/img/3855377a9af368f6483d28a661a1a75a.jpg) | Add to Reading ListSource URL: www.cse.chalmers.seLanguage: English - Date: 2013-12-12 08:46:27
|
---|
20![FXplorer: Exploration of Computed Software Behavior A New Approach to Understanding and Verification Luanne Burns Timothy Daly Software Engineering Institute Carnegie Mellon University FXplorer: Exploration of Computed Software Behavior A New Approach to Understanding and Verification Luanne Burns Timothy Daly Software Engineering Institute Carnegie Mellon University](https://www.pdfsearch.io/img/8ee25e3783604ba6ad2ca6e86a06e378.jpg) | Add to Reading ListSource URL: daly.axiom-developer.orgLanguage: English - Date: 2010-03-15 18:26:20
|
---|